functor F (A : sig end) =
struct
  type t (= boxed)
  val f : t -> int
end
